TSTP Solution File: NUM826^5 by Satallax-MaLeS---1.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Satallax-MaLeS---1.3
% Problem : NUM826^5 : TPTP v7.0.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : src/helsing.py -t %d -c ../satallax.ini -p %s
% Computer : n117.star.cs.uiowa.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz
% Memory : 32218.625MB
% OS : Linux 3.10.0-693.2.2.el7.x86_64
% CPULimit : 300s
% DateTime : Mon Jan 8 15:01:23 EST 2018
% Result : Timeout 296.96s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.03 % Problem : NUM826^5 : TPTP v7.0.0. Released v4.0.0.
% 0.00/0.04 % Command : src/helsing.py -t %d -c ../satallax.ini -p %s
% 0.03/0.23 % Computer : n117.star.cs.uiowa.edu
% 0.03/0.23 % Model : x86_64 x86_64
% 0.03/0.23 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% 0.03/0.23 % Memory : 32218.625MB
% 0.03/0.23 % OS : Linux 3.10.0-693.2.2.el7.x86_64
% 0.03/0.23 % CPULimit : 300
% 0.03/0.23 % DateTime : Fri Jan 5 14:33:47 CST 2018
% 0.03/0.23 % CPUTime :
% 1.58/1.79 % Running -m NewStrategy61701 for 2.90595293045 seconds
% 1.63/1.81 % Running -m NewStrategy21546 for 0.148933887482 seconds
% 1.63/1.82 % Running -m NewStrategy67852 for 0.181189060211 seconds
% 1.64/2.01 % Running -m mode252c for 7.80892801285 seconds
% 9.65/9.83 % Running -m NewStrategy35943 for 1.08488607407 seconds
% 10.68/10.93 % Running -m mode397 for 0.0142600536346 seconds
% 10.68/10.95 % Running -m NewStrategy67852 for 46.0453150272 seconds
% 56.86/57.01 % Running -m NewStrategy60263 for 0.12824511528 seconds
% 56.90/57.14 % Running -m mode165 for 0.0204191207886 seconds
% 56.90/57.17 % Running -m NewStrategy22562 for 23.6540961266 seconds
% 80.71/80.84 % Running -m NewStrategy72141 for 2.69708013535 seconds
% 83.42/83.55 % Running -m mode325 for 72.60602808 seconds
% 156.94/156.17 % Running -m NewStrategy32261 for 0.0219581127167 seconds
% 156.94/156.18 % Running -m NewStrategy18901 for 0.00690793991089 seconds
% 156.94/156.19 % Running -m NewStrategy56535 for 0.0329518318176 seconds
% 156.94/156.20 % Running -m NewStrategy54200 for 3.15118193626 seconds
% 156.94/156.21 % Running -m NewStrategy72394 for 20.4193341732 seconds
% 156.94/156.22 % Running -m mode369 for 0.0164971351624 seconds
% 156.94/156.25 % Running -m mode450 for 26.1158468723 seconds
% 183.09/182.37 % Running -m NewStrategy63501 for 0.253149032593 seconds
% 183.33/182.63 % Running -m NewStrategy10189 for 0.0147910118103 seconds
% 183.33/182.64 % Running -m NewStrategy29644 for 0.0159990787506 seconds
% 183.33/182.65 % Running -m NewStrategy36822 for 0.0202889442444 seconds
% 183.33/182.66 % Running -m NewStrategy31551 for 24.1972901821 seconds
% 207.58/206.89 % Running -m NewStrategy31076 for 0.237552881241 seconds
% 207.87/207.16 % Running -m mode324a for 0.0146350860596 seconds
% 207.87/207.18 % Running -m NewStrategy63339 for 0.102976083755 seconds
% 208.04/207.29 % Running -m NewStrategy53030 for 0.194667100906 seconds
% 208.04/207.49 % Running -m NewStrategy12884 for 4.57315897942 seconds
% 212.75/212.08 % Running -m NewStrategy32467 for 0.0582859516144 seconds
% 212.83/212.16 % Running -m NewStrategy70786 for 0.753906965256 seconds
% 213.57/212.92 % Running -m mode358 for 26.1345589161 seconds
% 239.67/239.06 % Running -m NewStrategy29879 for 0.102958917618 seconds
% 239.76/239.07 % Running -m NewStrategy44472 for 0.677356958389 seconds
% 239.77/239.08 % Running -m NewStrategy68939 for 0.553977012634 seconds
% 240.27/239.64 % Running -m NewStrategy63579 for 2.65231895447 seconds
% 242.91/242.30 % Running -m NewStrategy29155 for 0.0234050750732 seconds
% 242.91/242.31 % Running -m NewStrategy70713 for 0.0705270767212 seconds
% 243.01/242.32 % Running -m NewStrategy49558 for 0.217222929001 seconds
% 243.21/242.55 % Running -m NewStrategy24846 for 3.11093115807 seconds
% 246.32/245.66 % Running -m NewStrategy70946 for 0.944925069809 seconds
% 246.32/245.67 % Running -m NewStrategy19328 for 50.5401000977 seconds
% 296.96/296.26 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/296.27 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/296.28 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/296.28 % Running -m NewStrategy26604 for 600.0 seconds
% 296.96/296.29 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.30 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.31 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.31 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.32 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.33 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.34 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.34 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.35 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.36 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.36 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.37 % Running -m NewStrategy26604 for 600.0 seconds
% 297.05/296.38 % Running -m NewStrategy26604 for 600.0 seconds
% 297.12/296.39 % Running -m NewStrategy26604 for 600.0 seconds
% 297.12/296.39 % Running -m NewStrategy26604 for 600.0 seconds
% 297.13/296.40 % Running -m NewStrategy26604 for 600.0 seconds
% 297.13/296.41 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.42 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.42 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.43 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.44 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.44 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.45 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.46 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.47 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.47 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.48 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.49 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.49 % Running -m NewStrategy26604 for 600.0 seconds
% 297.16/296.50 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.51 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.52 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.52 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.53 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.54 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.54 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.55 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.56 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.57 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.57 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.58 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.59 % Running -m NewStrategy26604 for 600.0 seconds
% 297.22/296.59 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.60 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.61 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.62 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.62 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.63 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.64 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.65 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.65 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.66 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.67 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.67 % Running -m NewStrategy26604 for 600.0 seconds
% 297.30/296.68 % Running -m NewStrategy26604 for 600.0 seconds
% 297.37/296.69 % Running -m NewStrategy26604 for 600.0 seconds
% 297.37/296.70 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.70 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.71 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.72 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.72 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.73 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.74 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.75 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.75 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.76 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.77 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.78 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.78 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.79 % Running -m NewStrategy26604 for 600.0 seconds
% 297.38/296.80 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.80 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.81 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.82 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.83 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.83 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.84 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.85 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.86 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.86 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.87 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.88 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.88 % Running -m NewStrategy26604 for 600.0 seconds
% 297.45/296.89 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.90 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.91 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.91 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.92 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.93 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.94 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.94 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.95 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.96 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.96 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.97 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.98 % Running -m NewStrategy26604 for 600.0 seconds
% 297.53/296.99 % Running -m NewStrategy26604 for 600.0 seconds
% 297.61/296.99 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.00 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.01 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.02 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.02 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.03 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.04 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.04 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.05 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.06 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.07 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.07 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.08 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.09 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.10 % Running -m NewStrategy26604 for 600.0 seconds
% 297.62/297.10 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.11 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.12 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.12 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.13 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.14 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.15 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.15 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.16 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.17 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.18 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.18 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.19 % Running -m NewStrategy26604 for 600.0 seconds
% 297.71/297.20 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.20 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.21 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.22 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.23 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.23 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.24 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.25 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.26 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.26 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.27 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.28 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.28 % Running -m NewStrategy26604 for 600.0 seconds
% 297.78/297.29 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.30 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.31 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.31 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.32 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.33 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.34 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.34 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.35 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.36 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.36 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.37 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.38 % Running -m NewStrategy26604 for 600.0 seconds
% 297.86/297.39 % Running -m NewStrategy26604 for 600.0 seconds
% 297.93/297.39 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.40 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.41 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.42 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.42 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.43 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.44 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.44 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.45 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.46 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.47 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.47 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.48 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.49 % Running -m NewStrategy26604 for 600.0 seconds
% 297.95/297.49 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.50 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.51 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.52 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.52 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.53 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.54 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.55 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.55 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.56 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.57 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.57 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.58 % Running -m NewStrategy26604 for 600.0 seconds
% 298.02/297.59 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.60 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.60 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.61 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.62 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.63 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.63 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.64 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.65 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.65 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.66 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.67 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.68 % Running -m NewStrategy26604 for 600.0 seconds
% 298.09/297.68 % Running -m NewStrategy26604 for 600.0 seconds
% 298.17/297.69 % Running -m NewStrategy26604 for 600.0 seconds
% 298.17/297.70 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.71 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.71 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.72 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.73 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.73 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.74 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.75 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.76 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.76 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.77 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.78 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.79 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.79 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.80 % Running -m NewStrategy26604 for 600.0 seconds
% 298.18/297.81 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.81 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.82 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.83 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.84 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.84 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.85 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.86 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.87 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.87 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.88 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.89 % Running -m NewStrategy26604 for 600.0 seconds
% 298.27/297.89 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.90 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.91 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.92 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.92 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.93 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.94 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.95 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.95 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.96 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.97 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.97 % Running -m NewStrategy26604 for 600.0 seconds
% 298.34/297.98 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/297.99 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.00 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.00 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.01 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.02 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.03 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.03 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.04 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.05 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.05 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.06 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.07 % Running -m NewStrategy26604 for 600.0 seconds
% 298.40/298.08 % Running -m NewStrategy26604 for 600.0 seconds
% 298.49/298.08 % Running -m NewStrategy26604 for 600.0 seconds
% 298.49/298.09 % Running -m NewStrategy26604 for 600.0 seconds
% 298.49/298.10 % Running -m NewStrategy26604 for 600.0 seconds
% 298.49/298.10 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.11 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.12 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.13 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.13 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.14 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.15 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.16 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.16 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.17 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.18 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.18 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.19 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.20 % Running -m NewStrategy26604 for 600.0 seconds
% 298.51/298.21 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.21 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.22 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.23 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.24 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.24 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.25 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.26 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.26 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.27 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.28 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.28 % Running -m NewStrategy26604 for 600.0 seconds
% 298.58/298.29 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.30 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.31 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.31 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.32 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.33 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.33 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.34 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.35 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.36 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.36 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.37 % Running -m NewStrategy26604 for 600.0 seconds
% 298.66/298.38 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.39 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.39 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.40 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.41 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.41 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.42 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.43 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.44 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.44 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.45 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.46 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.47 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.47 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.48 % Running -m NewStrategy26604 for 600.0 seconds
% 298.73/298.49 % Running -m NewStrategy26604 for 600.0 seconds
% 298.81/298.49 % Running -m NewStrategy26604 for 600.0 seconds
% 298.81/298.50 % Running -m NewStrategy26604 for 600.0 seconds
% 298.82/298.51 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.52 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.52 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.53 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.54 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.54 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.55 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.56 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.57 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.57 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.58 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.59 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.60 % Running -m NewStrategy26604 for 600.0 seconds
% 298.84/298.60 % Running -m NewStrategy26604 for 600.0 seconds
% 298.91/298.61 % Running -m NewStrategy26604 for 600.0 seconds
% 298.91/298.62 % Running -m NewStrategy26604 for 600.0 seconds
% 298.91/298.62 % Running -m NewStrategy26604 for 600.0 seconds
% 298.91/298.63 % Running -m NewStrategy26604 for 600.0 seconds
% 298.91/298.64 % Running -m NewStrategy26604 for 600.0 seconds
% 298.91/298.65 % Running -m NewStrategy26604 for 600.0 seconds
% 298.91/298.65 % Running -m NewStrategy26604 for 600.0 seconds
% 298.91/298.66 % Running -m NewStrategy26604 for 600.0 seconds
% 298.91/298.67 % Running -m NewStrategy26604 for 600.0 seconds
% 298.91/298.68 % Running -m NewStrategy26604 for 600.0 seconds
% 298.91/298.68 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.69 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.70 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.70 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.71 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.72 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.73 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.73 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.74 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.75 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.76 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.76 % Running -m NewStrategy26604 for 600.0 seconds
% 298.97/298.77 % Running -m NewStrategy26604 for 600.0 seconds
% 299.05/298.78 % Running -m NewStrategy26604 for 600.0 seconds
% 299.06/298.78 % Running -m NewStrategy26604 for 600.0 seconds
% 299.06/298.79 % Running -m NewStrategy26604 for 600.0 seconds
% 299.06/298.80 % Running -m NewStrategy26604 for 600.0 seconds
% 299.06/298.81 % Running -m NewStrategy26604 for 600.0 seconds
% 299.06/298.81 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.82 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.83 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.84 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.84 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.85 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.86 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.86 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.87 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.88 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.89 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.89 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.90 % Running -m NewStrategy26604 for 600.0 seconds
% 299.08/298.91 % Running -m NewStrategy26604 for 600.0 seconds
% 299.16/298.92 % Running -m NewStrategy26604 for 600.0 seconds
% 299.16/298.92 % Running -m NewStrategy26604 for 600.0 seconds
% 299.16/298.93 % Running -m NewStrategy26604 for 600.0 seconds
% 299.16/298.94 % Running -m NewStrategy26604 for 600.0 seconds
% 299.16/298.94 % Running -m NewStrategy26604 for 600.0 seconds
% 299.16/298.95 % Running -m NewStrategy26604 for 600.0 seconds
% 299.16/298.96 % Running -m NewStrategy26604 for 600.0 seconds
% 299.16/298.97 % Running -m NewStrategy26604 for 600.0 seconds
% 299.16/298.97 % Running -m NewStrategy26604 for 600.0 seconds
% 299.16/298.98 % Running -m NewStrategy26604 for 600.0 seconds
% 299.16/298.99 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.00 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.00 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.01 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.02 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.02 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.03 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.04 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.05 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.05 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.06 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.07 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.07 % Running -m NewStrategy26604 for 600.0 seconds
% 299.21/299.08 % Running -m NewStrategy26604 for 600.0 seconds
% 299.29/299.09 % Running -m NewStrategy26604 for 600.0 seconds
% 299.29/299.10 % Running -m NewStrategy26604 for 600.0 seconds
% 299.29/299.10 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.11 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.12 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.13 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.13 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.14 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.15 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.16 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.16 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.17 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.18 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.18 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.19 % Running -m NewStrategy26604 for 600.0 seconds
% 299.32/299.20 % Running -m NewStrategy26604 for 600.0 seconds
% 299.38/299.21 % Running -m NewStrategy26604 for 600.0 seconds
% 299.38/299.21 % Running -m NewStrategy26604 for 600.0 seconds
% 299.38/299.22 % Running -m NewStrategy26604 for 600.0 seconds
% 299.38/299.23 % Running -m NewStrategy26604 for 600.0 seconds
% 299.38/299.24 % Running -m NewStrategy26604 for 600.0 seconds
% 299.38/299.24 % Running -m NewStrategy26604 for 600.0 seconds
% 299.38/299.25 % Running -m NewStrategy26604 for 600.0 seconds
% 299.38/299.26 % Running -m NewStrategy26604 for 600.0 seconds
% 299.38/299.26 % Running -m NewStrategy26604 for 600.0 seconds
% 299.38/299.27 % Running -m NewStrategy26604 for 600.0 seconds
% 299.38/299.28 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.29 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.29 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.30 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.31 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.32 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.32 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.33 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.34 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.34 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.35 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.36 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.37 % Running -m NewStrategy26604 for 600.0 seconds
% 299.46/299.37 % Running -m NewStrategy26604 for 600.0 seconds
% 299.53/299.38 % Running -m NewStrategy26604 for 600.0 seconds
% 299.53/299.39 % Running -m NewStrategy26604 for 600.0 seconds
% 299.54/299.40 % Running -m NewStrategy26604 for 600.0 seconds
% 299.54/299.40 % Running -m NewStrategy26604 for 600.0 seconds
% 299.55/299.41 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.42 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.42 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.43 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.44 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.45 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.45 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.46 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.47 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.48 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.48 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.49 % Running -m NewStrategy26604 for 600.0 seconds
% 299.56/299.50 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.50 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.51 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.52 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.53 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.53 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.54 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.55 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.56 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.56 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.57 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.58 % Running -m NewStrategy26604 for 600.0 seconds
% 299.62/299.58 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.59 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.60 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.61 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.61 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.62 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.63 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.64 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.64 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.65 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.66 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.66 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.67 % Running -m NewStrategy26604 for 600.0 seconds
% 299.69/299.68 % Running -m NewStrategy26604 for 600.0 seconds
% 299.78/299.69 % Running -m NewStrategy26604 for 600.0 seconds
% 299.78/299.69 % Running -m NewStrategy26604 for 600.0 seconds
% 299.78/299.70 % Running -m NewStrategy26604 for 600.0 seconds
% 299.78/299.71 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.72 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.72 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.73 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.74 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.74 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.75 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.76 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.77 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.77 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.78 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.79 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.80 % Running -m NewStrategy26604 for 600.0 seconds
% 299.80/299.80 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.81 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.82 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.82 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.83 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.84 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.85 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.85 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.86 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.87 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.88 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.88 % Running -m NewStrategy26604 for 600.0 seconds
% 299.88/299.89 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.90 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.90 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.91 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.92 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.93 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.93 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.94 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.95 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.96 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.96 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.97 % Running -m NewStrategy26604 for 600.0 seconds
% 299.94/299.98 % Running -m NewStrategy26604 for 600.0 seconds
% 300.02/299.98 % Running -m NewStrategy26604 for 600.0 seconds
% 300.02/299.99 % Running -m NewStrategy26604 for 600.0 seconds
%------------------------------------------------------------------------------